H ? « ‹ ← → › »

Language peer sets for Modal Prolog:
Japan↑
Japan/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1987↑
Context-based /1987↑
Data representation/1987↑
Horn clause/Japan↑
Context-based /Japan↑
Data representation/Japan↑
String and List Processing ↑
String and List Processing/1987↑
String and List Processing/jp ↑

Modal Prolog(ID:6838/mod035)

alternate simple view
Country: Japan
Designed 1987
Genus: Horn clause
Sammet category: String and List Processing

Extensions to prolog for express modularity, hierarchy, and/or structure
Related languages
Prolog → Modal Prolog   Extension of
References:
  • Sakakibara, Y. (1987) Sakakibara, Y. Programming in modal logic: An extension of PROLOG based on modal logic. In E. Wada, editor, Logic Programming'86, volume 264 of LNCS, pp. 81-91. Springer-Verlag, 1987.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Modal Prolog
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder